We report evidence further supporting homology between proteins in the F1FO‐ATP synthetase and the bacterial flagellar motor (BFM). BFM proteins FliH, FliI, and FliJ have been hypothesized to be homologous to FO‐b + F1‐δ, F1‐α/β, and F1‐γ, with similar structure and interactions. We conduct a further test by constructing a gene order dataset, examining the order offliH,fliI, andfliJgenes across the phylogenetic breadth of flagellar and nonflagellar type 3 secretion systems, and comparing this to published surveys of gene order in the (...) F1FO‐ATP synthetase, its N‐ATPase relatives, and the bacterial/archaeal V‐ and A‐type ATPases. Strikingly, thefliHIJgene order was deeply conserved, with the few exceptions appearing derived, and exactly matching the widely conserved F‐ATPase gene orderatpFHAG, coding for subunits b‐δ‐α‐γ. The V/A‐type ATPases have a similar conserved gene order. Our results confirm homology between these systems, and suggest a rare case of synteny conserved over billions of years, predating the Last Universal Common Ancestor (LUCA). (shrink)

Deep convolutional networks exceed humans in sensitivity to local image properties, but unlike biological vision systems, do not discover and encode abstract relations that capture important properties of objects and events in the world. Coupling network architectures with additional machinery for encoding abstract relations will make deep networks better models of human abilities and more versatile and capable artificial devices.

There is a paucity of treatment options for cognitively normal individuals with drug resistant genetic generalized epilepsy. Centromedian nucleus of the thalamus deep brain stimulation may be a viable treatment for GGE. Here, we present the case of a 27-year-old cognitively normal woman with drug resistant GGE, with childhood onset. Seizure semiology are absence seizures and generalized onset tonic clonic seizures. At baseline she had 4–8 GTC seizures per month and weekly absence seizures despite three antiseizure medications and vagus nerve (...) stimulation. A multidisciplinary committee recommended off-label use of CM DBS in this patient. Over 12-months of CM DBS she had two GTC seizure days, which were in the setting of medication withdrawal and illness, and no GTC seizures in the last 6 months. There was no significant change in the burden of absence seizures. Presently, just two studies clearly document CM DBS in cognitively normal individuals with GGE or idiopathic generalized epilepsy [in contrast to studies of cognitively impaired individuals with developmental and epileptic encephalopathies ]. Our results suggest that CM DBS can be an effective treatment for cognitively normal individuals with GGE and underscore the need for prospective studies of CM DBS. (shrink)

The opinion of Mr. Justice Francis of the English High Court which denied the parents of Charlie Gard, who had been born with an extremely rare mutation of a genetic disease, the right to take their child to the United States for a proposed experimental treatment occasioned world wide attention including that of the Pope, President Trump, and the US Congress. The case raise anew a debate as old as the foundation of Western medicine on who should decide and on (...) what standard when there is a conflict between a family and the treating physicians over a possible treatment. This paper will explore the different approaches of the British and American courts on the issue and the various proposals from that of John Rawls in his A Theory of Justice to a processed-based approach for resolving such disputes. As carefully crafted as the opinion of Mr Justice Nicholas Francis in the Gard case proved to be, it left commentators unsatisfied. A widespread criticism, captured in an article by Michael Dougherty in The National Review was for the state to ‘get out of the way of the parents trying to act in the best interests of the child’.1 Although he conceded the parents could be adding to the suffering of the child by taking Charlie to America for an experimental therapy and agreed that such a choice ‘may be the wrong decision,’ in Dougherty’s view, it should still be ‘their decision’. Dougherty’s stand was the popular response to the question of ‘Who should decide?’ It fails, however, to propose any rationale for the decision. It provided no norms, no standards and no guidelines for the parents. Their motive could equally well be indifference to the suffering of the child as concern for his well-being. Furthermore, even good, loving parents may make …. (shrink)

DNA replication requires the unwinding of the parental duplex, which generates (+) supercoiling ahead of the replication fork. It has been thought that removal of these (+) supercoils was the only method of unlinking the parental strands. Recent evidence implies that supercoils can diffuse across the replication fork, resulting in interwound replicated strands called precatenanes. Topoisomerases can then act both in front of and behind the replication fork. A new study by Sogo et al. [J Mol Biol 1999;286:637–643 (Ref. 1)], (...) using a topological analysis, provides the best evidence that precatenanes exist in negatively supercoiled, partially replicated molecules in vivo. BioEssays 21:805–808, 1999. © 1999 John Wiley & Sons, Inc. (shrink)

1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

Late in 1990, the Center for the Study of Ethics in the Professions at Illinois Institute of Technology (lIT) received a grant of more than $200,000 from the National Science Foundation to try a campus-wide approach to integrating professional ethics into its technical curriculum.! Enough has now been accomplished to draw some tentative conclusions. I am the grant's principal investigator. In this paper, I shall describe what we at lIT did, what we learned, and what others, especially philosophers, can learn (...) from us. We set out to develop an approach that others could profitably adopt. I believe that we succeeded. (shrink)

This handbook presents a comprehensive introduction to the core areas of philosophy of education combined with an up-to-date selection of the central themes. It includes 95 newly commissioned articles that focus on and advance key arguments; each essay incorporates essential background material serving to clarify the history and logic of the relevant topic, examining the status quo of the discipline with respect to the topic, and discussing the possible futures of the field. The book provides a state-of-the-art overview of philosophy (...) of education, covering a range of topics: Voices from the present and the past deals with 36 major figures that philosophers of education rely on; Schools of thought addresses 14 stances including Eastern, Indigenous, and African philosophies of education as well as religiously inspired philosophies of education such as Jewish and Islamic; Revisiting enduring educational debates scrutinizes 25 issues heavily debated in the past and the present, for example care and justice, democracy, and the curriculum; New areas and developments addresses 17 emerging issues that have garnered considerable attention like neuroscience, videogames, and radicalization. The collection is relevant for lecturers teaching undergraduate and graduate courses in philosophy of education as well as for colleagues in teacher training. Moreover, it helps junior researchers in philosophy of education to situate the problems they are addressing within the wider field of philosophy of education and offers a valuable update for experienced scholars dealing with issues in the sub-discipline. Combined with different conceptions of the purpose of philosophy, it discusses various aspects, using diverse perspectives to do so. Contributing Editors: Section 1: Voices from the Present and the Past: Nuraan Davids Section 2: Schools of Thought: Christiane Thompson and Joris Vlieghe Section 3: Revisiting Enduring Debates: Ann Chinnery, Naomi Hodgson, and Viktor Johansson Section 4: New Areas and Developments: Kai Horsthemke, Dirk Willem Postma, and Claudia Ruitenberg. (shrink)

We report the identification of a recurrent, 520-kb 16p12.1 microdeletion associated with childhood developmental delay. The microdeletion was detected in 20 of 11,873 cases compared with 2 of 8,540 controls and replicated in a second series of 22 of 9,254 cases compared with 6 of 6,299 controls. Most deletions were inherited, with carrier parents likely to manifest neuropsychiatric phenotypes compared to non-carrier parents. Probands were more likely to carry an additional large copy-number variant when compared to matched controls. The clinical (...) features of individuals with two mutations were distinct from and/or more severe than those of individuals carrying only the co-occurring mutation. Our data support a two-hit model in which the 16p12.1 microdeletion both predisposes to neuropsychiatric phenotypes as a single event and exacerbates neurodevelopmental phenotypes in association with other large deletions or duplications. Analysis of other microdeletions with variable expressivity indicates that this two-hit model might be more generally applicable to neuropsychiatric disease. © 2010 Nature America, Inc. All rights reserved. (shrink)

In a warm and enjoyable dialogue the meaning of health, in its fullest sense, becomes a philosophical issue as much as a biological. For isn't the essence of health a general sense of well-being? Health can be seen as reflecting satisfaction with our quality of life; but how do we achieve that? Here, a character who is heading off for a job teaching health has an extended conversation with a trusted mentor, and they test various definitions, various visions, and some (...) of the infinite possibilities of the idea of health, in the process coming to a deeper and more invigorating understanding of life itself. They arrive at the notion of symbiosis - a living together to the advantage of each. And isn't a good conversation a sort of living together to the advantage of each? In such dialogue, we engage with our hearts and minds. When are we more alive than that? What is the peak of health if not this life, this engagement? The two friends want to know what health is. But they want more: They want to be healthy. They see three basic types of health - bodily, mental, and societal. These three types affect one another. How they affect one another matters in a critical way. But there is more. A friendly conversation allows special access to what is critical. Our guard is down in such a conversation. We are less likely to be defensive. We are more likely to keep our minds open and clear. We are likely to feel the confidence it takes to learn. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:176 Reviews c:\users\ken\documents\type3402\rj 3402 050 red.docx 2015-02-04 9:19 PM THE GRUNDGESETZE Nicholas Griffin Russell Research Centre / McMaster U. Hamilton, on, Canada l8s 4l6 [email protected] Gottlob Frege. Basic Laws of Arithmetic. Derived Using Concept-script. Volumes i and ii. Translated and edited by Philip A. Ebert and Marcus Rossberg with Crispin Wright. Oxford: Oxford U. P., 2013. Pp. xxxix + xxxii + 253 + xv + 285 + A–42 (...) + i–11. isbn 978-0-19-928174-9. £60; us$110. iven the steadily rising interest in Frege’s work since the 1950s, it is surprising that his Grundgesetze der Arithmetik, the work he thought would be the crowning achievement of his career, has not previously been fully translated into English. Other Frege works have long been available in English. The earlier Grundlagen der Arithmetik was nicely, if not always entirely accurately, translated by J. L. Austin and published in 1950.1 Translations of Frege’s other philosophical writings began to appear in influential editions about the same time,2 initially a small corpus that has been gradually added to over the years to include works from his Nachlass and letters from his correspondence.3 Somewhat later, the Begriffsschrift, Frege’s momentous first 1 The Foundations of Arithmetic (Oxford: Blackwell, 1950; 2nd edn. 1953). The later translation under the same title by Dale Jacquette (London: Longman, 2007) is much less satisfactory. 2 The first importance source for these was Peter Geach and Max Black’s Translations from the Philosophical Writing of Gottlob Frege (1952; 2nd edn. 1960; 3rd edn. 1980), though it included reprints of some much earlier translations. 3 The two most comprehensive English sources for the shorter writings are now Brian d= Reviews 177 c:\users\ken\documents\type3402\rj 3402 050 red.docx 2015-02-04 9:19 PM contribution to modern logic, the work which Quine 4 said had made logic a great subject, was translated in full despite the difficulties of Fregean notation.5 But through all this the Grundgesetze remained largely (though not entirely ) untranslated. The view seems, for a long time, to have been that Frege’s contributions to logic were to be found in the Begriffsschrift and his contributions to philosophy in the Grundlagen and a small number of seminal articles. The Grundgesetze, on the other hand, was widely thought not to have added much to these magni ficent achievements, but to have employed them in a project that was doomed by the discovery of Russell’s paradox; namely, the attempt to show that arithmetic could be rigorously derived from purely logical principles. In the bleak aftermath of Russell’s paradox it came to seem as if whatever was of value in the Grundgesetze had already been published elsewhere, while what was new in it was mistaken.6 That assessment of the book’s value, combined with the huge difficulties of typesetting Frege’s idiosyncratic two-dimensional notation, and the sheer scale of the work (even without the anticipated third volume, which was abandoned in the face of Russell’s paradox, it was, by far, Frege’s largest work) made it seem as though a translation of the whole Grundgesetze was not only a prohibitively large undertaking, but also one which was not really necessary. And so, through much of the twentieth century, the Grundgesetze vied with Principia Mathematica as the world’s bestknown but least-read philosophical book. But this understanding of the Grundgesetze’s importance could not withstand the development of neo-logicism, brought to prominence by Crispin Wright’s Frege’s Conception of Numbers as Objects.7 The key insight of neoMcGuinness, ed., Frege, Collected Papers on Mathematics, Logic, and Philosophy (1984); and Michael Beaney, ed., The Frege Reader (1997). 4 At least in early editions of Mathematical Logic. The remark was removed in later ones in deference to Boole. 5 By Stefan Bauer-Mengelberg in Jean van Heijenoort, ed., From Frege to Gödel (1967), pp. 5–82. 6 Not surprisingly the one part of the Grundgesetze which has appeared most frequently in translation is the “Nachwort” responding to Russell’s paradox which Frege added as the book was in press. Geach... (shrink)

It took nearly two thousand years for society to recognize the Hippocratic insistence that “the doctor knows best”1 was an inadequate approach to medical decisionmaking. Today, patient-centered medicine has come to understand that the individual patient has a significant role in the decisionmaking process.2.

Since its founding in 1950, the Metaphysical Society of America has remained a pluralistic community dedicated to rigorous philosophical inquiry into the most basic metaphysical questions. At each year’s conference, the presidential address offers original insights into metaphysical questions. Both the insights and the questions are as perennial as they are relevant to contemporary philosophers. This volume collects eighteen of the finest representatives from those presidential addresses, including contributions from George Allan, Richard Bernstein, Norris Clarke, Vincent Colapietro, Frederick Ferré, Jorge (...) J. E. Gracia, Joseph Grange, Marjorie Grene, George Klubertanz, Ivor Leclerc, Ralph McInerny, Ernan McMullin, Joseph Owens, John Herman Randall, Jr., Nicholas Rescher, Stanley Rosen, John E. Smith, and Robert Sokolowski. Also included are Paul Weiss’s inaugural address to the Society, an introduction chronicling the history of the Society, and an original Foreword by William Desmond and Epilogue by Robert Neville. (shrink)

A many-valued (aka multiple- or multi-valued) semantics, in the strict sense, is one which employs more than two truth values; in the loose sense it is one which countenances more than two truth statuses. So if, for example, we say that there are only two truth values—True and False—but allow that as well as possessing the value True and possessing the value False, propositions may also have a third truth status—possessing neither truth value—then we have a many-valued semantics in the (...) loose but not the strict sense. A many-valued logic is one which arises from a many-valued semantics and does not also arise from any two-valued semantics [Malinowski, 1993, 30]. By a ‘logic’ here we mean either a set of tautologies, or a consequence relation. We can best explain these ideas by considering the case of classical propositional logic. The language contains the usual basic symbols (propositional constants p, q, r, . . .; connectives ¬, ∧, ∨, →, ↔; and parentheses) and well-formed formulas are defined in the standard way. With the language thus specified—as a set of well-formed formulas—its semantics is then given in three parts. (i) A model of a logical language consists in a free assignment of semantic values to basic items of the non-logical vocabulary. Here the basic items of the non-logical vocabulary are the propositional constants. The appropriate kind of semantic value for a proposition is a truth value, and so a model of the language consists in a free assignment of truth values to basic propositions. Two truth values are countenanced: 1 (representing truth) and 0 (representing falsity). (ii) Rules are presented which determine a truth value for every proposition of the language, given a model. The most common way of presenting these rules is via truth tables (Figure 1). Another way of stating such rules—which will be useful below—is first to introduce functions on the truth values themselves: a unary function ¬ and four binary functions ∧, ∨, → and ↔ (Figure 2).. (shrink)

Humans have long been fascinated by the idea of visiting the past and of seeing what the future will bring. Time travel has been one of the most popular themes of science fiction. Most people have seen the TV series ‘Dr Who’ or ‘Quantum Leap’ or ‘Star Trek’. You’ve probably seen one of the ‘Back to the Future’ or ‘Terminator’ movies, or ‘Twelve Monkeys’. Time travel narratives provide fascinating plots, which exercise our imaginations in ever so many ways. But is (...) the idea of travelling forward and backward in time pure fantasy—or can it be done? To be sure, not all time travel scenarios are coherent. But we hope to persuade you that the most common objections to the very idea of time travel have no real force. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

Increasingly, epistemologists are becoming interested in social structures and their effect on epistemic enterprises, but little attention has been paid to the proper distribution of experimental results among scientists. This paper will analyze a model first suggested by two economists, which nicely captures one type of learning situation faced by scientists. The results of a computer simulation study of this model provide two interesting conclusions. First, in some contexts, a community of scientists is, as a whole, more reliable when its (...) members are less aware of their colleagues' experimental results. Second, there is a robust tradeoff between the reliability of a community and the speed with which it reaches a correct conclusion. ‡The author would like to thank Brian Skyrms, Kyle Stanford, Jeffrey Barrett, Bruce Glymour, and the participants in the Social Dynamics Seminar at University of California–Irvine for their helpful comments. Generous financial support was provided by the School of Social Science and Institute for Mathematical Behavioral Sciences at UCI. †To contact the author, please write to: Department of Philosophy, Baker Hall 135, Carnegie Mellon University, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

This paper traces an expanded ethical perspective for youth and community work (YCW) practice in response to the climate and biodiversity crises. Discussing ecological ethics, we problematise the liberal humanist emphasis on utilitarianism and reject it as inappropriate for YCW in these times. Instead, we argue for an ecocentric practice ethic which intrinsically values the non-human world. To advance an ecocentric ethical perspective for YCW we draw on decolonial and posthuman theory. Inspired by a Freirean dialogical approach, we apply these (...) theoretical domains as lenses to problematise YCW practice, seeking a generative dialogue between perspectives. Through this, we identify three emergent tasks for ecocentric YCW: (a) thinking and acting beyond the individual; (b) cultivating reciprocal care and connection and (c) practicing critical pedagogies of place. This third element builds on YCW's social pedagogic tradition and provides a practical means to incorporate ecocentric ideas into practice. We conclude that, given the unprecedented implications of climate crises and biodiversity collapse, a YCW ethics that does not consider these implications for young people is insufficient for the context of practice today. Enacting an ecocentric YCW ethics requires ongoing collective praxis and dialogue between young people, practitioners, educators, managers and students. (shrink)

Postmodernism and poststructuralism challenge fundamental positions in social theory. This book sets out some of the components of a postmodern social theory of health and healing, deriving from theorists including Derrida, Deleuze and Guattari, Foucault, Cixous and Kristeva. Nicholas J. Fox observes that the knowledge of the medical profession about the body, illness and health supplies the basis for medical dominance. The body of the patient is inscribed by discourses of professional `care,' an interaction which subjectifies the patient. Fox (...) explores the character of this power - and how it may be, and is, resisted. The book illustrates with detailed examples how the organization of health care and the caring relationship itself are sites for this contestation of power. Elements of feminist theory, and Derridean concepts of diffrance and intertextuality, supply the framework for the politics and ethics of the postmodern position on health. Deleuze and Guattari's radical challenge to psychoanalysis and familial repetitions within the healer/patient contact allows a re-reading of central ideas in medical sociology. While focusing upon the possibilities of postmodern social theory, the book demands a reappraisal of issues of structure, identity and knowledge in modernist medical sociology. Modernist sociology, Fox suggests, has been complicit in the creation of `the patient,' and of 'health' and 'illness.' Written with an emphasis on accessibility, this book explores the practical consequences of postmodern theory as well as familiarizing the reader with the concepts of postmodernism. (shrink)

This paper presents a new solution to the problems for orthodox decision theory posed by the Pasadena game and its relatives. I argue that a key question raised by consideration of these gambles is whether evaluative compositionality (as I term it) is a requirement of rationality: is the value that an ideally rational agent places on a gamble determined by the values that she places on its possible outcomes, together with their mode of composition into the gamble (i.e. the probabilities (...) assigned to them)? The paper first outlines a certain simple response to the Pasadena game and identifies two problems with this response, the second of which is that it leads to a wholesale violation of evaluative compositionality. I then argue that rationality does not require decision makers to factor in outcomes of arbitrarily low probability. A method for making decisions which flows from this basic idea is then developed, and it is shown that this decision method (Truncation) leads to a limited — as opposed to wholesale — violation of evaluative compositionality. The paper then argues that the truncation method yields solutions to the problems posed by the Pasadena game and its relatives that are both attractive in themselves and superior to those yielded by alternative proposals in the literature. (shrink)

This paper argues that the most famous objection to backward time travel can carry no weight. In its classic form, the objection is that backward time travel entails the occurrence of impossible things, such as auto-infanticide—and hence is itself impossible. David Lewis has rebutted the classic version of the objection: auto-infanticide is prevented by coincidences, such as time travellers slipping on banana peels as they attempt to murder their younger selves. I focus on Paul Horwich‘s more recent version of the (...) objection, according to which backward time travel entails not impossible things, but improbable ones—such as the string of slips on banana peels that would be required to stop a determined auto-infanticidal maniac from murdering her younger self—and hence is itself highly improbable. I argue that backward time travel does not entail unusual numbers of coincidences; and that, even if it did, that would not render its occurrence unlikely. (shrink)

In this paper, I discuss one form of the idea that spacetime and gravity might ‘emerge’ from quantum theory, i.e. via a holographic duality, and in particular via AdS/CFT duality. I begin by giving a survey of the general notion of duality, as well as its connection to emergence. I then review the AdS/CFT duality and proceed to discuss emergence in this context. We will see that it is difficult to find compelling arguments for the emergence of full quantum gravity (...) from gauge theory via AdS/CFT, i.e. for the boundary theory's being metaphysically more fundamental than the bulk theory. (shrink)

This paper presents a new argument against A-theories of time. A-theorists hold that there is an objective now (present moment) and an objective flow of time, the latter constituted by the movement of the objective now through time. A-theorists therefore want to draw different pictures of reality—showing the objective now in different positions—depending upon the time at which the picture is drawn. In this paper it is argued that the times at which the different pictures are drawn may be taken (...) to be normal times or hypertimes. If they are normal times then the A-theory is inconsistent, or else collapses to the B-theory—and appealing to primitive tense operators will not help A-theorists avoid this conclusion. If the times are hypertimes then the A-theory is consistent, but deeply problematic none the less. (shrink)

This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that (...) presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website. -/- Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject. -/- Provides an essential introduction to classical logic Emphasizes the how and why of logic Covers both formal and philosophical issues Presents all the major forms of proof--from trees to sequent calculus Features numerous exercises, with solutions available online The ideal textbook for undergraduates and graduate students . (shrink)

As a prolegomenon to understanding the sense in which dualities are theoretical equivalences, we investigate the intuitive `equivalence' of hyper-regular Lagrangian and Hamiltonian classical mechanics. We show that the symplectification of these theories provides a sense in which they are isomorphic, and mutually and canonically definable through an analog of `common definitional extension'.

The "justice of markets" is intricately connected to the treatment of the poor and the disadvantaged in market economies. The increased interest of multinational corporations in low-income market segments affords, on one hand, the opportunity for a more inclusive capitalism, and on the other, the threat of greater exploitation of poor and disadvantaged consumers. This article traces the contributions of Catholic Social Teaching and its basic principles toward providing insight into what constitutes "justice" in such "marketing to the impoverished" situations.

This article uncovers a foundational relationship between the ‘gauge symmetry’ of a Newton-Cartan theory and the celebrated Trautman Recovery Theorem and explores its implications for recent philosophical work on Newton-Cartan gravitation.

Orthodoxy has it that mereological composition can never be a vague matter, for if it were, then existence would sometimes be a vague matter too, and that's impossible. I accept that vague composition implies vague existence, but deny that either is impossible. In this paper I develop degree-theoretic versions of quantified modal logic and of mereology, and combine them in a framework that allows us to make clear sense of vague composition and vague existence, and the relationships between them.

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

I have argued for a picture of decision theory centred on the principle of Rationally Negligible Probabilities. Isaacs argues against this picture on the grounds that it has an untenable implication. I first examine whether my view really has this implication; this involves a discussion of the legitimacy or otherwise of infinite decisions. I then examine whether the implication is really undesirable and conclude that it is not.

A number of authors have noted that vagueness engenders degrees of belief, but that these degrees of belief do not behave like subjective probabilities. So should we countenance two different kinds of degree of belief: the kind arising from vagueness, and the familiar kind arising from uncertainty, which obey the laws of probability? I argue that we cannot coherently countenance two different kinds of degree of belief. Instead, I present a framework in which there is a single notion of degree (...) of belief, which in certain circumstances behaves like a subjective probability assignment and in other circumstances does not. The core idea is that one’s degree of belief in a proposition P is one’s expectation of P’s degree of truth. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself---as opposed to merely in our representations of the world---against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague *properties and relations*; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague *objects*; we (...) argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the *world as a whole* might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)